var menu_enter="";
function borderize_on(e)
{
    color="#708DDF";
    source3=event.srcElement;
    
    if(source3.className=="menulines" && source3!=menu_enter)
    {
        source3.style.backgroundColor=color;
    }
}

function borderize_on1(e)
{
    for (i=0; i<document.all.length; i++)
    {
        document.all(i).style.borderColor="";
        document.all(i).style.backgroundColor="";
        document.all(i).style.color="";
        document.all(i).style.fontWeight="";
    }
    
    color="#003FBF";
    source3=event.srcElement;
    
    if(source3.className=="menulines")
    {
        source3.style.borderColor="black";
        source3.style.backgroundColor=color;
        source3.style.color="white";
        source3.style.fontWeight="bold";
    }
    
    menu_enter=source3;
}

function borderize_off(e)
{
    source4=event.srcElement;
    
    if(source4.className=="menulines" && source4!=menu_enter)
    {
        source4.style.backgroundColor="";
        source4.style.borderColor="";
    }
}